A simple Android app for rolling Fate dice