implemented form processing
- now theorems and articles can be truly added:
Painful merging
Manually merged views.py