code tweaking
code review
tweaking debugging helpers
makefile review
more code comments
fixed error in library utilities
better error handling in for-all
fixed error in library-utils
changed names of internal libraries
documentation development
more documentation on code objects
fixed code comments
code review, especially gc integrity check
started doc file about the boot image
code comments review
added patterns to gitignore
more code comments
more code comments
comments review
Merge branch 'typed-language.marcomaggi-2014-02-11' into devel