Change Benjamins submodule from git to https

Closes #15.