MySQL Optimisations and SHA1 passwords

Optimised MySQL pool and pool_worker tables.
Added SHA1'ing of passwords for MySQL, salt is in config.py.
Reformatted DB_Mysql.py to use all whitespace.