Exynos video driver

The lima video driver only ever worked properly on Exynos platform, in particular the ODROID developer board series.

But this is not true anymore. The current vendor kernel for the boards has upgraded the Mali kernel driver to r4p0, which is not supported by the limare code. This makes the lima video driver nonfunctional. Also there are currently no signs of limare being updated to support any kernel version greater than r3p2.

The driver is now broken with the platform it was intended for. Therefore replace it by a different driver that works with a standard DRM driver stack (just libdrm) and an upstream kernel. This eliminates the usage of any binary blob or dead libraries (which I consider limare to be ATM). This should also reduce power consumption, since the GPU is not used anymore. And, probably the most important point, this driver is future-proof because of the ongoing effort from Samsung to upstream the ODROID platform.

A more detailed description is given in the README.