Don't unbind all mousemove events

There was no namespace specified for mousemove event, which caused all document's mousemove event handlers to be removed.
Color-code SQL query "Timeline" stripes according to stacktrace
Merge pull request #538 from rivol/master

Don't unbind all mousemove events
Color-code SQL: minor code style changes
Color-code SQL: code review changes; fallback to black after 2**24 colors
Merge pull request #543 from wolfe/group-sql

Color-code SQL query "Timeline" stripes according to stacktrace
Make NormalCursorWrapper a context manager
 -- like django.backends.utils.CursorWrapper since Django #17671
Merge pull request #547 from DrMeers/master

Make NormalCursorWrapper a context manager
Add loading animation for panels. Fix #488.
Optimize used PNGs. Remove unused PNG and GIF.
Always load a separate copy of jQuery.

I have no idea what this does for AMD / RequireJS users. No one is able
to explain to me how AMD / RequireJS work. I hope this commit doesn't
make the situation significantly worse, but really I can't tell.

Fix #535. (Well, not really, but it'll allow me to close the ticket.)