Added support to generate a Typeable for a refined type

[umbreak]

Added a module for shapeless support of Typeable

[codecov]

Codecov Report

Merging #456 into master will decrease coverage by 0.56%.
The diff coverage is 100%.

@@            Coverage Diff             @@
##           master     #456      +/-   ##
==========================================
- Coverage   98.03%   97.47%   -0.57%     
==========================================
  Files          57       58       +1     
  Lines         662      672      +10     
  Branches       14       12       -2     
==========================================
+ Hits          649      655       +6     
- Misses         13       17       +4

Impacted Files	Coverage Δ
.../scala/eu/timepit/refined/shapeless/typeable.scala	100% <100%> (ø)

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 297d3e5...d825a2e. Read the comment docs.

[umbreak]

It would be great if someone can take a look at it, since the I don't see an obvious error for this to fail. Only the build in 2.10.7 is failing without any message.

[fthomas]

I've restarted the build, let's see if that helps.

The changes look good, thanks @umbreak! Adding a new refined-shapeless module is a good idea, although the core module already has a dependency on shapeless. But since this Typeable instance is not essential for refined it makes sense to put it into a new module. Also with the advent of SIP-23, shapeless will become less important for the core module and we can maybe then move the remaining code that uses shapeless into this new module and remove the dependency from the core module.