add CI for Linux

Use the new DTU cloud infrastructure for the Linux CI.