candi.sh: aligned PATH output a little
deal.II / platform F20: updated basic instructions