Branch specs - get specifications from statechart

[AlexandreDecan]

This branch implements some support to automatically get some information from the Python code contained in a statechart, such as the events that can be sent, the attributes that are accessed in the code, the type of the variables, and so on.