hat.sh: Free, fast, secure and serverless file encryption