Getopt stuff deleted

as it will be in the console module.