Updated sbt, scala and all library versions

Features:

• x contains y will build a y = ANY(x)

Bug fixes:

• operators precedence (e.g. a * (b c))
• logical clauses precedence (e.g. a AND (b OR c))

Updates scala and skunk versions to the latest