[PATCH] buildman: Show the build rate at the end

[Simon Glass]

It is interesting to note the number of builds completed per second to
track machine performance and build speed. Add a 'rate' value at the end
of the build to show this.

Signed-off-by: Simon Glass <sjg at chromium.org>
---

 tools/buildman/README     | 13 +++++++++++++
 tools/buildman/builder.py |  3 ++-
 2 files changed, 15 insertions(+), 1 deletion(-)

Applied to u-boot-dm, thanks!