Remove (error "synifyKind") to use WithinType, to allow haddock to process base.
Changes to reflect changes in GHC's type HsTyVarBndr
Add spec tests.

This adds tests for all elements we can create during regular
parsing. This also adds tests for text with unicode in it.
Use Hspec instead of nanospec

This is motivated by the fact that Haddock tests are not ran by the
GHC's ‘validate’ script so we're pretty liberal on dependencies in that
area. Full Hspec gives us some nice features such as Quickcheck integration.
Add ByteString version of Attoparsec
Replace Alex + Happy with Attoparsec.
One pass parser with tests to go with it.
Remove an irrelevant HTML test.

Trying to parse a string of the form ‘foo @bar baz’ fails on the old
parser (we get a Nothing due to no matching @) which means that the
string is taken literally and the newline hack existing on both parsers
(although I believe it is no longer necessary and is only there for
compatibility) doesn't get appended. In the new parser this
succeeds (as a regular DocString) and the newline hack will be accounted
for.

The options:
 - Add a newline to the ref file. This means that the test in turn will
 fail on the old parser and doesn't actually test anything worthwhile as
 this test is useless for the new parser.
 - Remove the @ in the string. The test loses its value for the old
 parser (that is, no parse error occurs in the deprecation message) but
 passes on both parsers and at the very least tests that the message
 does occur. As these tests are already conducted in other files, I
 believe that this whole test should be removed all together and this is
 what's being done here.
 - Detect when a string would fail on the old parser and attempt a 1:1
 mapping to the old behaviour. This would be hard to do, add complexity
 and outright not worth the effort. The lack of the newline in such
 place makes no actual visual difference and no old well-formed (and a
 lot of ill-formed) documentation will not see any visual change.
Add bold.

I'm not updating the file interface version just yet. The reason is that
we can not make a distinction from 707 and current HEAD (which is also
707). This value will be incremented for 7.8 release but until it stays in
development, I'm leaving it as-is.

Conflicts:
	src/Haddock/Backends/Hoogle.hs
Allow for markup inside of emphasis and bold.

Note that monospace now also uses the new generalised way of parsing
blocks. Also note that with this way, it is now trivial to allow for
multi-line structures and allowing for multi-line emphasis/bold is the
question of a single line change each.
Multiple list fix

There was a problem when there were multiple list elements following each other
without a newline break, if they had spaces preceding them.