Add "--expire <time>" option to 'git prune'