Changelog for AERN-Real-Double-2011.1.0.2

If this renders badly as markdown, see the plain text version

2011.1.0.2: 11th May 2011 * fixed some dependencies 2011.1.0.1: 11th May 2011 * minor update of dependencies and documentation to reflect inability to build with ghc 7.0.* 2011.1: 6th May 2011 * initial release of AERN-Real-Double