GSoC 2017 Proposal to Kivy (Python Software Foundation) Project: KV Compiler: A compiler for the KV language