repo.bash: replace with better version

From https://raw.github.com/aartamonau/repo.bash_completion/master/repo.bash_completion

Change-Id: I7ca5d7eba70244d875c48ce76c999c8a10b88934
Version up

Change-Id: Ib63afb19e0fc72822b24e02ffe4fff46e61a673e
Merge branch 'cm-10.1' of https://github.com/BeerGang/android_vendor_cm into HEAD
Merge remote-tracking branch 'upstream/cm-10.1' into cm-10.1