removed no longer needed db_connect, not all moved to mysql_connect.inc.php
Merge branch 'master' of github.com:atutor/ATutor