ignore infinispan server
always use ssh instead of https url for github

Courtesy of Neal Lindsay