Added the notebook describing MMIX