Andre Luiz Viana Loureiro  <andre.vl@samsung.com>

            Added radio button to switch between devices.
            Issue #87

            Reviewed by Marcelo Morais.

            Added a radio button to allow switches between
            GPU and CPU devices, thus we can check how the
            fps varies in each device in particular.

            * Ising/index.html: