HUCTLp

• rename to HUCTLp
• drop old CTL code
• support for 'string' propositions
• new, more concise API based on Kotlin 1.1
• new DSL
• simplified parser API
• fully documented