Minimal CI workflow using GitHub actions

[tlestang]

To make a start on using github actions we could have a simple workflow that builds x3div and runs the default benchmark.
This would be run upon pushing new commits to the repo.