bash aliases: added skp and cleantex (now functions)