Update and rename adadoom3.adb to main.adb