Add buffer operation to Handshake dialect

[hanchenye]

This patch adds a buffer operation in Handshake dialect, and an -insert-buffer pass which will insert one buffer into each graph cycle in the dataflow.