Merge branch 'master' into insert
script for inserting objects from pdata files
fixed typos in db_insert_pdata
JSONwriter was not correct for quoted strings
* in db_insert_pdata use name if there is no rule to create id
* some documentation and more options in db_insert_pdata
small error in JSONwriter: sparse types with rationals should be hashes
* type info is now stored in the corresponding database
* improvements in set_type_info
* type of objects is now checked upon insert
* verbose option in set_type_info
testsuite:
* more tests for write_json
* testcases that check the type information
repaired tests for copy_properties
new test for copy_properties
cleanup parts in testsuite
Merge branch 'insert'