Compilation on Ubuntu Linux 20.04

Compilation instructions are given in the Gitlab readme.