Copying over files from the DifferentialEncoding repo; mostly linting changes.