Programmer picks: 7 tools for HTML5, Ruby, Python, and more