Rename a4_tool -> a4tool in help output