set initial value of db_host to the new polymake server at TU Berlin
removed username and password arguments from db_insert_pdata script
more status printing in db_insert_pdata
fixes bug in DatabaseCursor::next
new function add_user_to_db that adds a user to a database (note that this only effects the user's output for db_info, db_list etc and the tabcompletion; it does not create a user)
comments in info.rules
removed "Contained in extension..."
removed "Contained in extension..."
docs
Merge branch 'master' into insert
preliminary support for QuadraticExtension