Update version to 0.8.2 for release
Tweak dev.txt to fix travis builds