Add new framework constants to the spec and model

[bocchino]

New configuration constants have been added to the F Prime framework, in the file config/FpConstants.fpp.

• We need to add these to the framework constants in the spec.
• We need to add these to the semantic checking for framework constants. As part of this item, update fpp-check tests.
• We should add the knowledge of what the framework types and constants are to the analysis.
  • In the analysis data structure, we should add a member that records this knowledge. It should have two members, one for constants and one for types. The constant member should have an optional member for each framework constant, and similarly for types.
  • In the analysis pass Check Framework Definitions, record the knowledge for each definition that exists. This can be a value that points back to the annotated AST node with the definition.
• We should add the new analysis info to the output of fpp-to-json.
• We should revise the F Prime python model to match (Update analysis translation to include framework definitions fprime-community/fprime-python-model#13).