Fixup googlecode references

Fixup at least some of the googlecode references in the ACL2 system doc and in Milawa.

Updates #236