make trimming history an option
make trimming history an option

iamahuman/angr,f-prettyland/angr,schieb/angr,tyb0807/angr,schieb/angr,tyb0807/angr,angr/tracer,tyb0807/angr,angr/angr,angr/angr,angr/angr,iamahuman/angr,f-prettyland/angr,schieb/angr,f-prettyland/angr,iamahuman/angr