Remove CVS folder
Remove unwated CVS, READMEs and other files
Remove old Makefile
Add crt files. Blank location ready for seL4 init code
Basic seL4 initialization
More seL4 initialization. Now have a heap
Use __libc_start_main