Fixes #662 - Adds DevTools Terminal article
Merge pull request #791 from html5rocks/terminal

Fixes #662 - Adds DevTools Terminal article
Fixes styles for mobile devtools article
Merge branch 'master' of github.com:html5rocks/www.html5rocks.com
Merge branch 'master' into v20131205