Add boxed proposition environment.
Add draft watermark to templates.
Merge branch 'master' of github.com:dpo/latex-styles