part fix #35 exportapp should not re-export unchanged files (still re-exports all files that are modified by the export process); fix dockerfile nginxdev (depend on nginx config)