2013-08-02  Afonso R. Costa Jr.  <afonso.costa@samsung.com>

        Use DEVICE_TYPE_ALL to get all devices available in one platform
        Issue #96

        Reviewed by Marcelo Morais

        DEVICE_TYPE_ALL was already fixed and it is working properly
        on branch master_r152423. We have some LayoutTests marked as TODO
        and they should be fixed.

        * webcl/tests/webcl-test-device-extensions.html:
        * webcl/tests/webcl-test-resource-management.html: