A bukkit server plugin for reporting redstone events