Split schema.sql and database creation in basic tables and extensions parts
Script to deploy gitweb.py from a repository
Small update to deployment script