add additional notes for agda installation & configuration