Rename dombeyprogram to dombeyprogram.py