[Agda] Broken links on agda.sf.net

[Patrik Jansson]

I'm not sure who is "maintaining" this site but here is a list of broken 
links which need fixing:

http://agda.sourceforge.net/how-to-install-windows.html
http://agda.sourceforge.net/how-to-install-linux.html
http://agda.sourceforge.net/LICENSE
http://agda.sourceforge.net/document
http://agda.sourceforge.net/screenshots.html

Sorry for using the list, but I couldn't find any other email to send 
this "documentation bug" to (the Agda bug-tracker did not seem the right 
place to go).

/Patrik