added automatic numbering of IP ranges

IPv4 only as of yet
put sequence code in module range.py
documented range and sequence notation

But I get the feeling it’s a bit buried in there. Ah well.
Merge branch 'expand_ip'
added sequence notation for IP addresses in synctool.conf
removed buggy nmap_config script

does not work for me on BSD
updated Changelog with latest stuff