Small fix in user-doc compilation

If "plumed" executable is not available, sourceme.sh file is sourced
changelog