v4.1.3

• Silence error when busy signal service is not loaded yet
• Pass --rm=true to docker run when using Docker to clean up containers when they exit
• Use serenata as key in project settings instead of old php_integrator
  • The old php_integrator key will still be read for backwards compatibility
• Fix experimental Docker support not working on Windows due to Windows ↔ Linux path transitions
• Make it easier to report issues when the server crashed and add note that they should not be reported to GitHub