CoqModel finders refactoring


- add `CoqModel.where` static method
- add `config.$primaryKey` option

See specs for examples

Closes #2