What is the name 'Doc' short for?

As a proper name (rather than a title) "Doc" is actually of Welsh origin and not short for anything - it's just a short name! It derives from "Madoc" or "Maddock". Sometimes used as a nickname too, for example Doc Holiday was really called John but he was a dentist hence his nickname.