CVS Amaya changes

This file lists bug fixes and new features introduced in the CVS version of Amaya since the last release (Amaya 11.3.1)

• CSS counters are implemented. However, selectors for properties counter-reset and counter-increment are not fully interpreted yet, which may generate strange numbers sometimes.
• There was a typo in the SVG doctype.
• The 'Tip of the day' is now different at each launch.