gpu-switch is a Linux application that allows to switch between the graphic cards of a dual-GPU Macbook Pro 11,3 (Late 2013, Retina)