Make docs read version number from package.yaml.
Make docs read version number from package.yaml.

diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,ihc/futhark,HIPERFIT/futhark,diku-dk/futhark,ihc/futhark,HIPERFIT/futhark,HIPERFIT/futhark,diku-dk/futhark,ihc/futhark