Hello Thomas,
The feminine of deva is devi. I am more inclined to believe the derivation from "Devi", firstly sounds right (diabolos is quite a jump), secondly, it menas "shining one" (like Lucifer), and lastly the name of "devil" in Zend is "dev":
Etymological Meaning of Devil - The Biggest...