moved resources to resources directory
Merge remote-tracking branch 'remotes/origin/PREDCALC_IMP'

* remotes/origin/PREDCALC_IMP:
  Test suit for predcalc
  Avoid warning on serialization
  Updates to test-suit
  Support for noun compounds and smashing of modifiers attached to transitive verbs
  Beta-reducer helper for test suit
  Support for adverb modification of transitive verbs - Pelican Issue #10
  Cashing of constants generated for IOTAs
  test-suit for predcalc
Merge branch 'PREDCALC_IMP'

* PREDCALC_IMP:
  Fix for WHO_A taking NP arguments - Pelican Issue #15
  Support for intersective PP modification - Pelican Issue #12
  Predcalc test suit reorganization into packages
making progress towards test integration; first test is finished, but not functional
amending previous commit
Merge branch 'master' of github.com:pepijnkokke/pelican
implemented flattener tests, which are all succeeding. however, a disturbing number of the jan tests are failing
create build.sh, updated .travis.yml
fixed bug in .travis.yml
updated build script
prover9 is failing to build, apparently because we have to link it against libm, which I dont know how to do.
fixed bug i introduced earlier, fixed a few standard tests
Fixed subsumption formula for Jan Test 4
Fixed some features tests
Fixed the subsumption formulae in two RTE tests