re-work makefile to enable easier adpation to new systems.
Merge branch 'master' of https://github.com/tommy-engels/FLUSI

Conflicts:
	makefile
update makefile to move server-specific data to be set in the shell.
Make use of multiple jobs in compiling.