Support naming methods to Aeneas

[joshlf]

Currently, we have no way of naming methods when passing them to Charon' --opaque flag. While bare functions can be supported, anything inside of an impl block can't.