doc: usepackage{microtype} for better linebrake in texttt{}.
Merge branch 'master' of http://github.com/kalhauge/distribuerede-systemer-code
doc: removed usepackage{microtype} because bad linebrakes everywhere else than texttt{}.