Added a link to the AERN homepage to README.md