Add the source code related to tutorial on holonic auction (issue sarl/sarl#151).)