Installation

Note it also suffices to follow the README for our repository as it contains the same installation steps.