A functional Postgresql plugin for dokku