Added CMake option WITH_PERF to add special performance flags. Currently, if WITH_PERF is set, GMP is excluded from project and flag DAI_PERF is passed to the compiler.
Added CMake option WITH_PERF to add special performance flags. Currently, if WITH_PERF is set, GMP is excluded from project and flag DAI_PERF is passed to the compiler.

flurischt/libDAI,flurischt/libDAI,flurischt/libDAI,flurischt/libDAI,flurischt/libDAI