A Flask based web app to add SSH public keys to a file