changed protocol for nettle git repository from 'git' to 'https' because 'git' does not work (at least not right now)