update disprover version number to match the one of prob