Schema change; add managers
- Combine Proof class into Node class. Node class now supports type
  theorem, axiom, definition and proof.
- Add managers for Node class and Keyword class.
Merge branch 'master' of https://github.com/th0114nd/socialmath