boxen puppet module for Skim, a pdf viewer