added method activityEnds(time) to interface DriverAgent, similar to the existing method legEnds(time). renamed PersonAgent.leaveActivity() to PersonAgent.activityEnds().
Authored by: mrieser 2009-04-27
Parent: [r6569]
Child: [r6571]