updated dev manual
Merge branch 'master' of https://github.com/jonasberglund/skrubb_DAT255

Conflicts:
	documentation/Developer manual.md