Set up CI with Azure Pipelines
#307

hsbt wants to merge azure-pipelines into master

We do not currently have an analysis of these two commits