Add example ChocoMinty script
Remove debug statement from main.c