Upgrade to libmini-os 0.4

This fixes the timer problem and also includes Dave's (experimental) demand mapping code (since it used to BUG in this case, it shouldn't cause any regressions).