Redirects for Golang packages

• goderive
• gographviz
• gominikanren/