Reorganize project and merge OS-specific branches
We should create different Dockerfile files on the same branch, and rewrite Jenkinsfile so it builds all required dockerfiles. There's no point maintaining things on separate branches, the same for the configured Jenkins tasks.