update nmap to 4.20 (patch by jens muecke)