Html type provider

* Merge @colinbull and @forki changes
* Fix errors due to type inference changes
* Added signature tests
* PCL support
* Update docs
* Fix debug.fs to support unreferenced nested types