Adding CI to check whether the code is formatted with Verible

Created by: davideschiavone

As described in the title, this repository requires the code to be formatted with Verible. This script checks on PRs that this holds true