Document in README that ex4.c can be executed.