/src/: added exec'd command return value treatment
/src/: cosmetic change on ^D and fixed bug with duplicate Shell::env_ attribute deletion