renamed bootstrap_flora/flora_shell in the old flora, so they won't clash
with Flora-2
Authored by: kifer 2001-06-29
Parent: [r2527]
Child: [r2529]