DieDroid, a dice roller app for Android