ASL file extension - What is an .ASL format, and how to open it?