IRS adds options for electronically amending 1040s