New version of devtools: 0.8

2012-09-16