Volatility Workbench: graphical user interface for the Volatility tool