Use `tail` as external pager instead of `cat`
Use `tail` as external pager instead of `cat`

As a comment in the GAP file lib/pager.gi says, for using `more`
or `less` or anything else set in `UserPreference("Pager")` we
assume that `UserPreference("Pager")` allows command line option
`+num` for starting display in line `num`.

gap-packages/jupyter-gap