Adding a batteryBacked Example.

I personally believe this detracts from the core model due to FSP's
shitty ability to actually handle state.

E.g., I believe you have to pass a battery state as an arguments throughout the entire process

There isnt' a good way to localize the battery_checking that I know
of, Since battery_checking has to be done for each process and there isn't
a concept of a function/include/etc.

I would expect adding this to each process would blow our model up to
several hundreds of states....