Production docker images for frontend and backend, and related tweaks