Handle class-qualified methods

Specialisation/EmitCore does not handle the new class-qualified methods:

$ testsol test/examples/spec/10negBool.solc 
test/examples/spec/10negBool.solc
Emitting core for contract NegBool
Writing to output.core
yule: output.core:2:17:
  |
2 |     function Neg.neg$B (x : B{(unit + unit)}) -> B{(unit + unit)} {
  |                 ^
unexpected '.'
expecting '$', '(', '_', or alphanumeric character

argotorg / solcore

Handle class-qualified methods #39