Merge branch 'insert'
moved CREDIT to polymake.ext
write extension into database
Merge branch 'master' into insert