NicTool: a DNS management solution