Golog Examples: profiling for basic elevator.
Golog: added pickInf for infinite domains.

And renamed transStar to transPlus in dooIO.