Tune generation of doxygen documentation.

Use single doxy file , necessary in Jenkins.
Remove unecessary files.
Merge branch 'master' of github.com:flow123d/flow123d

Conflicts:
	makefile