increase timeout for Ubuntu #1278
Merge pull request #1281 from spechub/1278-running-maude

increase timeout for Ubuntu #1278