Use minted also for bash commands in feltor doc
Use minted also for bash commands in feltor doc

mwiesenberger/feltor,mwiesenberger/feltor,feltor-dev/feltor,feltor-dev/feltor,mwiesenberger/feltor,feltor-dev/feltor,mwiesenberger/feltor,feltor-dev/feltor