Adminer docker image, a full-featured database management tool for the web