Move to Docker for CI builds
It would be useful to have a Docker image containing the correct environment for a firmware build. This would primarily help with reproducible CI builds, but would in general make the project setup easier for new collaborators.