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