Patch windmill segfault bug

Patch from Debian release 1.13.1-11

Patch file: debian/patches/windmills-374901
Debian changelog message:
  * Patch windmill segfault bug (Closes: #374901)
Patch coal reserve initialization

Patch from Debian release 1.13.1-11

Patch file: debian/patches/coal-reservers-486597
Debian changelog message:
  * Patch coal reserve initialization (Closes: #486597)
Patch splash screen scroller delay to be 64b safe

Patch from Debian release 1.13.1-11

Patch file: debian/patches/delay_timers
Debian changelog message:
  * Patch splash screen scroller delay to be 64 bit safe.
Cope with resized splash screen.

Patch from Debian release 1.13.1-11

Patch file: debian/patches/avoid-refresh-uninited-701927
Debian changelog message:
  * Cope with (despite hints) resized splash screen.  (Closes: #701927)