Merge pull request #372 from karky7/master

Please pull request, thank you.
Bump void to 0.7
Bump bytes to 0.14.1.2
Bump semigroups to 0.16
Bump vector to 0.10.12.2
Bump crypto-pubkey to 0.2.5
Bump hashtables to 1.2.0.0
Bump shakespeare to 2.0.2.1
Bump aeson-pretty to 0.7.2
Bump active to 0.1.0.17
Bump monoid-extras to 0.3.3.5
Bump free to 4.10.0.1
Bump dual-tree to 0.2.0.5
Bump lens to 4.6.0.1
Bump diagrams-core to 1.2.0.4
Bump diagrams-lib to 1.2.0.6
Bump agda to 2.4.2.2
Bump diagrams-contrib to 1.1.2.4
Bump diagrams-postscript to 1.1.0.3
Bump chart-gtk to 1.3.2