Add the source Whiley programs and output files.