Refactorings.

+ Split single idris package into two separate folders.
  + One for the specifications
  + One for the applications.
+ Applications still needs work to make smooth.
Multiple changes.

+ Made the core-util like apps standalone.
 + Use makefile to build
+ Moved greeter to own app.