Terminal: make data files for the built-in themes. Change-Id: Ib1444ebbb329ae9f2b14a33487cd21ce7b5dc37b