update build.source at upstream request to brand build as Debian's

[debian/openrocket] / debian / patches / series

debian-build.source.diff
openjdk-is-ok.diff
use-system-libs.diff