1.12 -- new address for fu-berlin mirror, infoseek uses python, more

info about windows stdwin, more about gnu getopt, correct typo