[WIP] GitHub pipelines integration and more

[replicadse]

WORK IN PROGRESS - DO NOT MERGE

This PR has a few proposals for an improved release management/cycle. This way, most of the manual steps in order to release sonic SHOULD be obsolete.
A quick overview of the changes:

• Using GitHub pipelines for quick feedback cycle
  • Check job -- runs on every push, on every branch
  • Tag job -- (currently commented out) tags the last commit from the push with the calculated version number. The way this is retrieved is by the anothrNick/github-tag-action (1.19.0) which scans commit messages for the #patch, #minor and #major keywords (can be configured). This assumes a versioning system that is more or less compliant to semver. In addition, this job creates a new release in GitHub.
  • Publish to crates.io job -- (currently commented out) publishes sonic to crates.io
  • Publish release job -- (currently commented out) publishes the sonic artifacts to the newly created release (see Tag job) for some specified targets.
• Makefile - added some common commands to a Makefile including the following ones
  • init
  • build
  • release
  • scan
  • update-version
  • test
  • clean
• pre-commit hook that runs scan (install via make init)

Since there is no issue regarding any of these things, these are just suggestions. Feedback is very welcome whether we / I should to continue working on this or not.
¯_(ツ)_/¯