A server environment for Laravel PHP applications, based on Docker