Libraries & include statements

[shesek]

With hash verification: (as precise as the user wants, with some minimum number of bits)

include ./htlc.minsc hash=f34fe622a8fe7565fc15be3ce8bc4;

Without hash verification:

include ./htlc.minsc unsafe-no-hash;