Removed the time library

The time library was removed because of its uselessness.