Opera debuts Web developer tool for smartphones and PCs