Debian Jessie only runs Python 3.4, whereas typing was introduced in Python 3.5.

This ensures that changes requiring haddock changes can be built under CI.

It turns out that the submodules hack is useful to ensure that
CI works in forks.

This reverts commit 90ceafa8.