Merge pull request #22 from vbmithr/master

Docs and typos
Merge pull request #23 from vbmithr/master

Mostly added documentation
Merge pull request #24 from vbmithr/master

Doc for Manager and very light refactoring
Fixed resolve.ml{,i} problems
Added rule to generate documentation