add SQL syntax highlighters, update code.js, cut 2 bytes from python.min.js