Run tests on travis

Build quickcheck and quickspec on before_install
Make aeson an optional dependency

Build hipspec with -fJSON flag to cabal if you want it
Make test suite pass on travis
Translate tfp1 examples without properties and lint poly fol