Remove obsolete files
Removes obsolete files:
format.py
- old script for formatting, once used during rebranding
normalize_schema.py
- old script from first implementation of sql_serializer
make_crash.py
- accidentally merged script, that has been transformed to tests (see #319 (closed))