Feature/migrate on deploy

[albert118]

Supports deploying the Docker stack on remote servers.

• avoids installing dotnet ef tools on remote to run migrations
• fixes minor bug I forgot to commit separately

Successfully running the prod build with docker-compose up --build now shows some new details when it autoruns migrations,