Add Twelf, version 1.7.1

Note that Twelf is not actually packaged an an .app, but the developers suggest to treat it like one, i.e. the user is instructed to move `Twelf` to `/Applications/`.