moved db properties to Polytope
repaired poly_db testcases
Merge branch 'master' into insert