replace deprecated use of initWithCString by initWithUTF8String
Merge remote-tracking branch 'upstream/database_access' into database_access
better mime-type for polymake files
new gitignore
corrected example for search in database window
Merge branch 'database_access'