Threefry: more fixes for ghc 7.6
Set release version to 0.1.2
Merge branch 'release/0.1.2' into develop
Next version back to 0.2.0