A fast-paced guide to put your Geoserver-based web application into fast, user-friendly, and secure production