Eventually use the builtin libevent

Use the builtin libevent in the following two cases:

1. if `./configure` does not find libevent in the usual places (i.e., `/usr` and `/usr/local`); or,

2. if the user explicitly asks `./configure` to use the buitin libevent.