remove superfluous files
use Times Roman, comply with LNCS style