added WITH_EXAMPLES cmake option