Remove srandomdev() for Linux compatibility

* Add `#include <time.h>` in trek.h
* Change srandomdev() to srandom(time(NULL)) in main.c
main.c: force srandom seed cast to unsigned