htd 1.2.0

Second official update of htd.

Changes since v1.1.0:

• htd_io library for convenient parsing of graphs and printing decompositions
• Performance improvements and code cleanup
• htd is now compatible with OSX