A couple of thoughts for you regarding development tools, browsers and resources:
- development tools can be good in that they speed up development drawing attention to potential errors and so on BUT they also do a lot for you and as a result may reduce the learning experience. I suspect that your needs are linked to how knowledgeable the teachers are and the content of the course but it may be that a good text editor is all you need.
- browsers, in a production environment knowing how to create pages that work across the range of current browsers is a valuable skill. Now I'm not suggesting that you would want to go into detail in the classroom but students may benefit from being able to view their pages in different browsers so that they are aware that there are differences, that there are standards and so on.
- resources, the web is filled with information of varying quality and it's a useful skill in its own right being able to find and use the best of it. It might be helpful to have picked out some resources in advance. I think that the examples that come to my mind are likely to be too technical for students starting out but you could do worse than having a look at, for example, MSDN to get an idea of what's out there.
Hope this helps!
GO4Schools