Add filename extension as .textile

Signed-off-by: Kimitaka Watanabe <kimitaka@logic.cs.tsukuba.ac.jp>