Update documentation, and preparation for release 4.0.0 stable
o: Regenerate documentation
o: Update changelog
o: minor bugfixes and style fixes
o: refactoring
o: remove error-prone use of boolean arrays to check if a service is machine specific or not