Added doctest capabilities via `cabal test`
re bugzid:46
Merge branch 'dev-doctest' into develop
Added property testing
re: bugzid:45
* circle.yml: Added some config for CircleCI