Add the whiley programs in the example folder.