Enabled optimizations for Distribution configuration on Android (#747)
This enables optimizations when building the Distribution configuration for Android, by simply copying the compile flags from CMAKE_CXX_FLAGS_RELEASE into CMAKE_CXX_FLAGS_DISTRIBUTION, which at the moment consists of -O3 and -DNDEBUG.