Rename SundialDevJSON to SundialDevJSON.html