Rename doom app to seL4Doom

Change-Id: I6fd4a73ce4a4bacc559dc9b28a99f7e85e7a61d3