Update URLs that point to released documentation

Our Git repo contains URLs to [...]eclipse.org/escet[...]. Since switching to multi-page HTML output (#36 (closed)), we'll need to update these URLs.