Add redundant license id This works around an issue with hackage-server, so we can publish.
| Time to Start | Worker time | Duration | Time to finish | |
| Config | 0s | 1s | 1s | 1s |
| Eval | 1s | 1m05s | 1m05s | 1m07s |
| Build | 19m27s | 3h55m37s | 5h03m11s | 5h22m39s |
| Suite | 0s | 3h56m43s | 5h22m38s | 5h22m39s |