Improved handling of pragma No_Return
Codepeer now correctly handles calls to subprograms with pragma No_Return, and does not issue a warning that such a subprogram does not return.