Add /usr/bin/time to nohup based cmdline
authors: leibnitz27
Concurrent repo conversions

Move the conversion shell code to a sh script so we
can call this sh script concurrently from xargs -P${N}
Reorder repos for conversions
sed: Add a number of charset replacements
Fix sed cmd generating sed script from sed script

Fix issue introduced in a35835e43e72423b85138bfad27079227f7cfc9b