Makefile: Allow setting certain options on the command line.
Makefile: Allow setting certain options on the command line.

lekkas/livegrep,wfxiang08/livegrep,wfxiang08/livegrep,paulproteus/livegrep,paulproteus/livegrep,paulproteus/livegrep,wfxiang08/livegrep,lekkas/livegrep,lekkas/livegrep,paulproteus/livegrep,wfxiang08/livegrep,paulproteus/livegrep,paulproteus/livegrep,wfxiang08/livegrep,wfxiang08/livegrep,lekkas/livegrep,lekkas/livegrep,lekkas/livegrep