Small fix in user-doc compilation

If "plumed" executable is not available, sourceme.sh file is sourced
changelog
Merge branch 'v2.0'