Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages
#399
| Job | Run time |
|---|---|
| 2m 28s | |
| 3m 28s | |
| 3m 7s | |
| 6m 49s | |
| 16m 55s | |
| 5m 8s | |
| 2m 49s | |
| 16m 53s | |
| 57m 37s |