add SolveRPN_Spec
add Heathrow_Spec
Merge branch 'sec10_spec'