Dockerfile and binaries

[owahltinez]

I have been able to build the kernel using a Docker image, which I think simplifies development since the setup is non trivial. Would you accept a PR with the Dockerfile and build instructions?

Also, I think we should provide pre-built binaries of the kernel as GitHub releases. Automating those builds is probably not worth the effort, so I would suggest manually building the kernel and uploading a zip file.

[owahltinez]

See this for an implementation example of what I'm proposing:

• https://github.com/owahltinez/kernel_manifest#using-docker
• https://github.com/owahltinez/kernel_manifest#prebuilt-binaries

[peyo-hd]

The information in this repository will be kept minimal.
For build guidance, it is just referencing AOSP site.

And you can maintain docker registry on forked project.