Add filename extension as .textile

Add filename extension as .textile
This change avoids conflicts between file name and directory name.

Signed-off-by: Kimitaka Watanabe <kimitaka@logic.cs.tsukuba.ac.jp>