Use Azure Pipelines as CI

mrmlnc

Do not forget to add support for the launch of benchmarks on the comment.