Introduce docker profile
@jri Here is an actual implementation of the new profile mechanic. After merging this plugin is now compatible to manual deployment with parent directories by default and with built-in automatic docker deployment when requested so.