Implement user migration

The migration of JIRA users was not fully implemented.
(I seem to recall the original script author saying that they did not need to migrate users.)