An Android app for converting time in astronomical situations