These should do the checks for us.
Not an expert though so it may need a bit of tweaking before they do
what we want them to do.

Configure pylint for Google's Python style.

Adding pylint configuration, VSCode configuration to lint on save and
make the deploy.py script compliant.

Fix errors in deploy script.

Document troubleshooting on OS X

Better handling of OpenSSL generated keys.

Improve deploy script.

It seems that ECC keys generated by OpenSSL can be between 30 and 33
bytes long whereas OpenSK code expects a fixed size of 32 bytes.
This variation could cause Travis CI to fail but also invalid ECC keys
to be flashed, causing the authenticator to not work.

- Check that JLinkExe in properly installed
- Verify that the app is installed
- Always report failures in the exit code
- Add vscode settings for Python code formatting using Google style
- Fix issue #42 regarding tockloader version and sticky parameter

Add troubleshooting instructions.

Replace shell script with a python3 script

Fix review comments for #39

Updated the shell script that generates the certificates and the
documentation accordingly.
Caveat: now installation is a 2-step procedure, installing OS and
application are split into 2 commands.

Don't lock the allocator with spin.

Mentions webauthn.io at the end of install.md.

Fixes #25

Update the ring dev dependency version.

Don't dereference slices obtained from include_bytes.