allow port-forwarding of the same port number but with different protocols [GH-1108]

The (already closed) issue 1108 has reappeard in vagrant 1.2.7. With this fix, using the same host port for different protocol is possible again.