BUILD: Update dist build to include WyRL
BUILD: Update dist build to include WyRL

The dist build target did not include the wyrl jar in the wdk tarball
that was being built.  Now it does.

Whiley/WhileyCompiler