This modifies CI to check that we generate completion files and a man page. We also enable tests on arm.