Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages
#5481
| Job | Run time |
|---|---|
| 15s | |
| 12m 47s | |
| 4m 29s | |
| 1s | |
| 17m 32s |