Support "docker restart"

Delete the pidfile if docker was not shut down properly.