added static mac library for opencv, added syntaxtest, improved highlighting, moved properties to db.properties