Simplify configure.ml

I moved away types in File_watcher in order to simplify configure (and
make possible modification of file_watcher without reconfiguring). Also,
we now watch for a list of events (which can only contain `Modify for
now...)