Merge branch 'master' into feature/generating-docs

Conflicts:
	makefile
Documented Process class.
Documented Processes class.
Merge branch 'feature/generating-docs' of git://github.com/giuliandrimba/theoricus into feature/generating-docs