basic device:
* Initialize some device properties to fix some AMD SDK cases.
* Disable the 'basicdebug' case of AMD SDK 2.9 as it tests
  undefined behavior via a kernel with an out-of-bounds array
  access.
Make the first device in the device list the default OpenCL
device no matter what it is.  Do not force 'pthread' to be the
only possibility.
Only announce double/half extensions in DeviceInfo, if its really supported

SIZEOF(__fp16)==2 is not a good test of half support by clang, replace it
by result of half test (_CL_DISABLE_HALF).
Fix issue 113 in autotools

LLVM support for halfs got better in 3.5, so the cmake test now passed,
but pocl still doesn't compile with halfs -> make the test stricter.
Merge branch 'master' into cmake

Conflicts:
	lib/CL/devices/pthread/pthread.c
Add STATIC_LLVM to variables printed in summary
Add information on using cmake to INSTALL
Add developer information on using cmake
Add CL_DISABLE_{HALF,LONG} to variables printed in summary.