CMakeLists.txt: Fixed CMAKE_BUILD_TYPE=Release handling and bumped CMAKE_MINIMUM_REQUIRED to 2.8.12 because of ADD_COMPILE_OPTIONS.
CMakeLists.txt: Fixed CMAKE_BUILD_TYPE=Release handling and bumped CMAKE_MINIMUM_REQUIRED to 2.8.12 because of ADD_COMPILE_OPTIONS.

sharemind-sdk/libsoftfloat,sharemind-sdk/libsoftfloat