Function normalize_namespace_part

Normalize a string to be suitable as a namespace part.

Namespace: ICanBoogie
Located at

Parameters summary

`string`	`$part`	The string to normalize.

Return value summary

`string`	Normalized string.