Added :dot command to export a term hashconsed representation