This permits to run without persistent storage. The benefit is that the board
doesn't implement a the syscall API in Tock. The disadvantage is that rebooting
the key will reset the storage.

Add feature to track allocations in libtock-rs

Make internal python linter happy.

It seems that our internal linter is stricter than what pylint does.
Fixing the python code to make both happy and tries to fix the gap by
modifying pylintrc configuration file

Fix cargo audit workflow

The env context is only available at the step level, not the job one so
we need to use the github context instead. But the head_ref will only be
populated if we run in a pull_request event. So until we find a better
solution, let's match on the repo URL.

Fix clippy warnings.

Because of libtock-rs we can't run clippy on our codebase. But it could
run at least on `build.rs`.

Run everything that Travis-CI is running as Github workflows

These tests take 10 min. Let's avoid running them when not needed.

It seems the github action will pick up the rust-toolchain file and if
we specify it as an input, it will have a higher priority

Import bugfix from https://github.com/tock/tock/pull/1636 as a patch.

Fixed incorrect command in install.md.