Fixed console input

• Resolved an issue where an extra \n was sent to the inferior for each command. For example: writing RIGHT in the console would send 'RIGHT\n\n' instead of 'RIGHT\n'. It caused trouble with get_line which would read 2 lines for only one command.
• Added a warning to get_next_command when returning NULL

changed title from Console input to Fixed console input

added bug label

added 49 commits

• 110d6a9f...78a409ec - 46 commits from branch dev/testing
• da8a8a64 - Fix: agdbentures would not quit unless adding a line return in console...
• ea55b419 - Merge branch 'dev/fix-quit' into 'main'
• b20ec905 - Merge branch 'main' into dev/noe/input_commands

Compare with previous version

mentioned in commit 43f9144f

merged