configure: allow setting strip tool with --strip