Changed version number to 0.9.0-shark-0.8.0.