Enlarge bash's history and sync between terminals

Thanks @holderbaum for the suggestion