developertools...dev_autodb: Improved deadline and math handling.
devilry_student: Basics required to detect when math is rendered.

This should be re-usable for all apps using mathjax (see #425).
devilry_developer.fabrictasks: Use django_test.py to run autodb.

Speeds it up a lot because haystack is not triggered. Instead, we
rebuild the entire search index after autodb is complete.
devenv.fabfile: Force distribute version.
versions.cfg: Force distribute version.