Update shapeless and shapeless-related dependencies

Author: alexarchambault

project/Deps.scala

@@ -8,12 +8,12 @@ object Deps {
   import Def.setting
 
   def almondScalaApi = "sh.almond" %% "jupyter-api" % "0.11.2"
-  def argonautShapeless = setting("com.github.alexarchambault" %%% "argonaut-shapeless_6.2" % "1.2.0")
+  def argonautShapeless = setting("com.github.alexarchambault" %%% "argonaut-shapeless_6.3" % "1.3.0")
   def dataClass = "io.github.alexarchambault" %% "data-class" % "0.2.5"
   def jodaTime = "joda-time" % "joda-time" % "2.10.10"
   def rhino = "org.mozilla" % "rhino" % "1.7.13"
-  def shapeless = setting("com.chuusai" %%% "shapeless" % "2.3.3")
-  def scalacheckShapeless = setting("com.github.alexarchambault" %%% "scalacheck-shapeless_1.14" % "1.2.0-1")
+  def shapeless = setting("com.chuusai" %%% "shapeless" % "2.3.7")
+  def scalacheckShapeless = setting("com.github.alexarchambault" %%% "scalacheck-shapeless_1.15" % "1.3.0")
   def scalajsDom = setting("org.scala-js" %%% "scalajs-dom" % "1.1.0")
   def scalatags = setting("com.lihaoyi" %%% "scalatags" % "0.9.4")
   def scalaTest = "org.scalatest" %% "scalatest" % "3.2.9"