Update version number to 0.20, because 0.2 < 0.15