Automated builds via Github CI

[lovemeforareason]

It could be useful to have automatic builds of the dev branch built by Github actions. I will look into this myself later this week.

[maxdev1]

Would be great, the tricky part is that the toolchain setup isn't completely trivial. It could work though by preparing a Docker image that the actions could use.