An Android app for recording and concatenating videos