Better variant of OpenCVConfig.cmake generation; several smaller changes in the options section and Android build scripts