Merge pull request #25 from jpallister/master

Fix pin triggering on STM32VLDISCOVERY board
Fix 'make distcheck'.

The 'make distcheck' rule is showing up two errors.  The lib/
directory (and contents) are not being included in the distribution, and
the results/ directory (created by running make check) is not being
cleaned up as part of a make distclean.  All fixed in this commit.

ChangeLog:

	* Makefile.am (EXTRA_DIST): Add lib directory.
	(distclean-local): New rule, cleanup results directory.
	* Makefile.in: Regenerate.
Improvements to BEEBS documentation.

- More appropriate email address.
- Place line break in title (it's long).
- Remove out of date comment that 'make check' doesn't work.
- Regenerate to update dates in documentation.

ChangeLog:

	* doc/texinfo.tex: Deleted.
	* doc/beebs.texi: Place line break in long title.  Update email
	address.  Remove comment about 'make check' not working.
	* doc/beebs.info: Regenerate.
	* doc/version.texi: Regenerated with recent date.
	* doc/Makefile.in: Regenerated.
Remove stray merge marker from ChangeLog

A merge marker has been left in the ChangeLog at some point, remove
now.
Add start and stop triggers to dhrystone and whetstone bencharks.

The benchmarks dhrystone and whetstone are missing the start, stop, and
initialise triggers, I'm adding them in this patch.

ChangeLog:

	* src/dhrystone/dhry_1.c: Add start and stop triggers.
	* src/whetstone/whetstone.c: Likewise.