timestamp functions added
Implemented generic timestamp-based random access to logs, and specialization to catalina.out