Adding mario.c to the GitHub repository