Yes, Dima is a "nickname" for Dmitri. Technically it's what's called a diminutive form, which means a form of a noun used to make it sound more informal or tender. In this case his friends would probably call him "Dima" or perhaps some other nickname they make up for him. It's just a form of the name and doesn't actually mean anything.