Merge android-port & kernel-cache feature

Android port for merge

Major changes are in enabling kernel-cache
pocl_util.c : 
pocl_choose_dir() - chooses root folder for caching
pocl_create_source_dirs() - searches for matching program in sub-directories
other changes are either retaining files for caching or deleting unwanted files after cmpilation
use /sys/devices/system/cpu/possible file to find num-cores. Some android kernel shows no processor info on /proc/cpuinfo
plus pocl-android-sample in examples/
Did you measure how slow the SHA hashing really is on some mobile device? They have quite powerful CPUs nowadays so it might be surprisingly fast. 

Why I do not like the process name indexing is that it's unportable piece of code. But it's still better than no caching at all so it's good to get this in as a starting point if someone wants to improve on it and to make pocl usable on Android.