Note type change

This PR adds the ability for users to change the note type (of an existing single note) directly from the AnkiDroid note editor. It also adds a "cards" box which shows the names of the cards which are available for the current note. Feedback welcome!