No need for portal
Using bigint since some things don't fit in the int() for MySQL
Using prepared statements for security
Using prepared statement to avert sql injection attacks

Even though cmsat_presenter is ONLY meant to have SELECT capabilities
Removing console logging
Fixing SQL
Better error reporting in PHP
Adding metadata to displayed PHP data
Removing console logging
Adding a random MySQL pass to the git and removing useless files
Removing useless head in PHP generated HTML
Making the file-getter pass filenames
Allowing GZ compression in PHP for json if possible
Fixing solving time reporting
Passing filenames instead of on-the-fly generated data
Removing useless commented-out lines from JS
Fixing get_versions to return JSON
Don't convert float to int
Nicer code for selectdata.js
A bit more console logging