Move Arpit Jain's user page from arpitjain11 to arpitjain, at Arpit's request.

diff --git a/doc/users/arpitjain11.mdwn b/doc/users/arpitjain.mdwn
similarity index 100%
rename from doc/users/arpitjain11.mdwn
rename to doc/users/arpitjain.mdwn