style(CoqModel): shorten constant names
fix(CoqModel): typo
style(Coq): remove unnecessary .bind() in Coq module config block

Also fix test failing on Travis since PhantomJS doesn't support
Function.bind
style(tests): refactor tests

Splitting in many files + split in describes
chore(travis): set PhantomJS as default karma runner

Remove duplicate karma conf
doc(README): upate doc + update travis build status logo

Travis build status now refer to master only
chore(karma): set coverage to text rendering
chore(packaging): add metadata info for library
fix(CoqModel): fix CoqModel custom instance/static methods

Also update tests for these features
Merge branch 'finders'
Release v0.0.1