Emit package-level and function-level SPARK Ada translations.

include/base/SMPProgram.h

src/base/SMPFunction.cpp

src/base/SMPInstr.cpp

src/base/SMPProgram.cpp

src/drivers/idapro/SMPStaticAnalyzer.cpp