Fixed/clarified build instructions. Main problems now stem from outdated use of the Isabelle API.