[petsc-dev] do syntax

[Barry Smith]

>>> $ for i in {1..5}; do
>>>> echo $i
>>>> done
>>> {1..5}


This notation does not appear to be portable to sh, so we've had to  
change it back to listing 1 2  etc.

    Barry