Add dropbox service
Set Coq syntax highlighting