Fix call broken during tidyup.

I failed to notice that the status_options message's signature is
radically different to that for status_button.

Change-Id: I54f6b6a1278e69ea374f63c40b236f2ef8ca8c8b
Fix #2304: Print the name of the project we just exported.

This extends the existing printing of the revision exported to also
include the name of the project, which is a very useful thing to be
reminded of.

Change-Id: Ie5dd6e5c9ee255cf161d0822bb993bb6459a0532
Fix #2303: Bump pyenv-dummy to pick up missing Ruggeduino items.

Change-Id: Ia977d4fe02c7265666516b7509f60c044ae288be