Add refox.  Update build to detect new tools.  Remove gistget for now.