Merge pull request #3 from solros/database_access

Database access
added total count of elements with given properties, coloured output if not all retrieved
Merge remote-tracking branch 'upstream/database_access' into database_access
better mime-type for polymake files