Add a copy button to the JavBus project to make it easy for mobile Safari to copy.
As of 2023-08-05. See the latest version.
