Added porgat.txt, .gitignore, and made name changes in marvel.adb