remove no-longer-working upload-to-github script. Auto upload to sourceforge.