Update Pseudodojo PBEsol set to 0.5

Currently, we are providing the 0.3 version of the set, which is considered to be outdated.