Add an option to strip symbols from generated helper .so

From a small sample of production queries, stripping the symbols reduces the helper size by just under 50%.

That will save storage/copy costs, possibly load times on non-attached storage.