Netctl Menu is a Gnome 3 extension that allows you to  switch between netctl profiles using a menu in the notification area.