Changes

Add Galimulator#setPaused()
 (commit: 9a96659)

Lift deprecation of IntegerChooseOption

Also reworded the documentation of IntegerChooseoption
and StringChooseOption to mitigate the risk of these interfaces
being erroneously deprecated.

However the proper fix would be to provide an implementation
for both of these classes, but at the moment that is not a pressing
concern and deprecating these interfaces due to there not being a
ready-made implementation available is not a good reason
for deprecating these interfaces for removal.
 (commit: 6394c0e)

Do not include shaded deps in the runtime cp; fix minor issues

This commit deprecates a few Optional-related methods in NullUtils
as well as moving away from Galimulator#pauseGame and Galimulator#resumeGame,
instead using Galimulator#setPaused. The commit also removes a few
cases of #pauseGame and #resumeGame being wrapped in a Application#postRunnable.
 (commit: a26e0c3)