Update the installation instructions (mention autogen).
Update the installation instructions (mention autogen).

Mention the autogen script that bootstraps the sources for people that
are tracking the git repository.

jrl-umi3218/jrl-dynamics,jrl-umi3218/jrl-dynamics