Merge pull request #8 from PhilArmstrong/master

Fix libcspm warning about deprecated bitsize function.
Update GHC version on Travis.
Fix the travis script.
Attempt to fix the travis build.
Constrain the versions of alex and happy.
Plumbing for symbolic properties.