Coq'Art/SmallStep: some progress.
Renaming Coq'Art/SmallStep.agda to sf/SmallStep.agda