Ada gnatmake switches

# Switches to gnatmake are:
#   -o             - generated object file name
#   -fstack-check  - activates stack checking
#   -funroll-loops - perform loop unrolling optimization
#   -g             - add debugging information
#   -gnat2012      - enforce Ada 2012 restrictions
#   -gnata         - assertions enabled
#   -gnatE         - full dynamic elaboration checks
#   -gnatF         - external names are folded to all uppercase
#   -gnatn         - activate inlining for subroutines with pragma inline
#   -gnato         - enable numeric overflow checking
#   -gnatwae       - turn on most warnings and treat warnings as errors
#   -gnaty         - enable built-in style checks
#   -i             - new object files created in the same dir as the source
#   -j4            - use multiple processors (4) while compiling
#   -k             - continue compiling after errors
#   -m             - perform minimal recompilation
#   -s             - recompile if switches changed
#   -C             - use mapping file
#   -D dir         - put all object files and ALI files in dir
#   -E             - store call stack exceptions
#   -O             - control optimization level (2)
#   -shared        - link with shared Ada library
#   -static        - link with static Ada library