rename query_update_notification to query_subscription
Updates to send properly formatted html mail

Add dependency on HTMLMail, modify the html so that it is properly displayed in gmail.
Implement editing of notification settings + some refactorings

* Add some more links in generated email
* move QuerySubscription into its own file
* enable htmlmail and mime modules in drupalpull.sh
* implement handler for editing notification settings