A small IDE for development boards that run ARMPIT SCHEME