Minirighi Code

- fix: set correct minirighi version in grub menu.

Remember to do this even if it's automatically fixed by make.

Tagging minirighi 0.12.2

incrementing version to 0.12.2

Tagging minirighi 0.12.1

additions in the ChangeLog for minirighi 0.12.1

- fix: correctly check command line parameters in md5crypt userspace application

implemented the waitpid() syscall

removed auto_kill() routine in sys_exit()

rewritten userspace fork example in a cleaner way

- speed-up the build process parallelizing make, depending on the number of
CPUs present in the build machine