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