moved an implicit from string to CnxnCtxtLabel into StringExtensions.scala

this was not specific to mongo but worked for any string to label so reduced the extends/withs
Added a more robust term parser for Prolog terms
Added missing Boolean value parsing
Merge branch 'mongo-refactor' of https://github.com/leithaus/SpecialK into mongodb_protegra
updated tests for bnfc parser