Codi is a simple and lightweight Code Editor