Add enum items for REDIS DIRT-like knowledge resources
minor: print verbose error messages
Move FlippedBidirectionalMap to common
Correctness rule-tree mapping at
SimilarityStorageBasedDIRTSyntacticResource, based on
FlippedBidirectionalMap 

Commented properties at buitee.xml configuration, for redis-based
knowledge resources, based on existing running servers