added NAME section to polymake.ext
Merge branch 'insert'
degraded some user_functions into functions
testcases for write_json
testcases for DatabaeCursor and write_json
DatabaseCursor.COUNT became a user_method (was a property)
Merge branch 'master' into insert