For production build, --prod flag is available. In github issues, I see mentions of other flags such as --aot, --no-sourcemap which can be useful in production. Do we have a list of all flags and their description that we can use for faster execution in production?