Merge branch 'feature-models' into develop
added code coverage instrumentation, test-coverage command, and coveralls integration; updated travis script to execute test-coverage
fixed travis script command
added coveralls coverage badge
Merge branch 'feature-coverage' into develop
Merge branch 'develop' into feature-models