rtems/tools: Change the order of the git URL to not do a merge.
The merge was failing for some users. Change to reset, branch master and then pull.