Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages
#341
| Job | Run time |
|---|---|
| 4m 13s | |
| 6m 15s | |
| 6m 5s | |
| 8m 33s | |
| 20m 29s | |
| 7m 47s | |
| 4m 20s | |
| 24m 28s | |
| 1h 22m 10s |