Don't include a port number in the Host header.

We never intend to ask for a service on a port other than the one we
connect to. By my reading of RFC 2616 section 14.23, we can leave the
port number off in this case. Robin Wood reported that
https://twitter.com/ gives you a redirect instead of a page if you send
it
	Host: twitter.com:443
rather than
	Host: twitter.com

http://seclists.org/nmap-dev/2013/q1/267
Added match line for the SmartPortal on CheckPoint GAiA platform firewalls.  Known to work against R75.4x versions.

Changed two existing match lines to softmatches as they were triggering against messages instructing the client to change protocols to SSL.  This was preventing nmap from checking the service on SSL as it though a match was found.  See http://seclists.org/nmap-dev/2013/q1/280
Reindent http-favicon.