Code documentation

Starting from now Doxygen is used to automatically create code documentation. Documentation for the kernel will be available here: http://ast-phoenix.sourceforge.net/doxygen/kernel/html/