Added \AgdaTarget annotations to have automatic links in report outputs